//
// DEBUG settings: @{
@DEBUG_border_0:        dashed 2px @color_name_Aqua;
@DEBUG_border_1:        dashed 2px @color_name_Black;
@DEBUG_border_2:        dashed 2px @color_name_Blue;
@DEBUG_border_3:        dashed 2px @color_name_Fuchsia;
@DEBUG_border_4:        dashed 2px @color_name_Gray;
@DEBUG_border_5:        dashed 2px @color_name_Green;
@DEBUG_border_6:        dashed 2px @color_name_Lime;
@DEBUG_border_7:        dashed 2px @color_name_Maroon;
@DEBUG_border_8:        dashed 2px @color_name_Navy;
@DEBUG_border_9:        dashed 2px @color_name_Olive;
@DEBUG_border_10:       dashed 2px @color_name_Orange;
@DEBUG_border_11:       dashed 2px @color_name_Purple;
@DEBUG_border_12:       dashed 2px @color_name_Red;
@DEBUG_border_13:       dashed 2px @color_name_Silver;
@DEBUG_border_14:       dashed 2px @color_name_Teal;
@DEBUG_border_15:       dashed 2px @color_name_White;
@DEBUG_border_16:       dashed 2px @color_name_Yellow;
.DEBUG_border(@type) {
	/* DEBUG @{ */border: ~"@{DEBUG_border_@{type}}";/* @} */
}
// @}
